Self-Specifying Machines
نویسندگان
چکیده
We study the computational power of machines that specify their own acceptance types, and show that they accept exactly the languages that ≤ m -reduce to NP sets. A natural variant accepts exactly the languages that ≤ m -reduce to P sets. We show that these two classes coincide if and only if P = P, where the latter class denotes the sets acceptable via at most one question to #P followed by at most a constant number of questions to NP.
منابع مشابه
Composition and Re nement of Behavioral Speci cations
This paper presents a mechanizable framework for specifying, developing, and reasoning about complex systems. The framework combines features from algebraic speci cations, abstract state machines, and renement calculus, all couched in a categorical setting. In particular, we show how to extend algebraic speci cations to evolving speci cations (especs) in such a way that composition and re nemen...
متن کاملSpecifying Transaction Control to Serialize Concurrent Program Executions
We define a programming language independent transaction controller and an operator which when applied to concurrent programs with shared locations turns their behavior with respect to some abstract termination criterion into a transactional behavior. We prove the correctness property that concurrent runs under the transaction controller are serialisable. We specify the transaction controller T...
متن کاملA Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines
We describe a toolset, consisting of a graphical editor, a simulator, and an assertion checker, for prototyping real-time systems that are specified as Communicating Real-Time State machines (CRSMs). CRSMs are timed state machines that communicate synchronously over unidirectional channels. The system behavior of CRSMs is characterized by a time-stamped trace of communication events. Safety and...
متن کاملModelling System Behaviour by Abstract State Machines
Using a language derived from the theory of Abstract State Machines, we are able to concisely describe both the actual and desired behaviour of systems and their components. The resulting specifications may be utilized in a variety of ways: for modelling and monitoring actual system state; as an executable description of intended behaviour; for static verification and testing of this behaviour;...
متن کاملThe Specification of a Multicomputer with Dynamic Network Using Lotos
Formal Methods of specification can play an important role in exploring the behaviour of complex systems, as distributed systems or communication protocols. Lotos, based on algebra of processes, has been chosen as an international standard for specifying many systems. We show in this paper the model for a popular class of parallel machines: multicomputers. This paper establishes a guide to empl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Int. J. Found. Comput. Sci.
دوره 10 شماره
صفحات -
تاریخ انتشار 1999